Nuprl Definition : so_lambda3
11,40
postcript
pdf
(
x
,
y
,
z
.
t
(
x
;
y
;
z
))(
x
,
y
,
z
) ==
t
(
x
;
y
;
z
)
latex
Definitions
x
.
A
(
x
)
origin